finitely generated abelian group